An operations semantics for pure dataflow

We prove the equivalence between an operational and an extensional semantics for pure dataflow. The term pure dataflow refers to dataflow nets in which the nodes are functional (i.e. the output history is a function of the input history only) and the arcs are unbounded fifo queues. Gilles Kahn gave a method for the representation of a pure dataflow net as a set of equations; one equation for each arc in the net. We present a complete proof that the operational behaviour of a pure dataflow net is exactly described by the least fixed point solution to its associated set of equations. Our model is completely general since our nodes have the universality property, in that, for any continuous history function there exists a node that will compute it. Moreover since our nets are not built from a set of sequential primitive nodes the model is not in the communicating sequential processes framework. On the contrary our nets have the abstraction property in that any net can be collapsed into a node. The above proof gives complementary ways of viewing pure dataflow nets, that is, as either sets of equations or as graphs. It moreover gives rise to an elegant equational dataflow language. Pure dataflow then takes on an important role since it is a correct implementation for such a functional programming language; nodes being implementation of continuous history functions; arcs and datons being implementations of histories; and nets being mechanisms for computing the solutions to sets of equations

Alpha synuclein post translational modifications: potential targets for Parkinson’s disease therapy?

Parkinson’s disease (PD) is the most common neurodegenerative disorder with motor symptoms. The neuropathological alterations characterizing the brain of patients with PD include the loss of dopaminergic neurons of the nigrostriatal system and the presence of Lewy bodies (LB), intraneuronal inclusions that are mainly composed of alpha-synuclein (α-Syn) fibrils. The accumulation of α-Syn in insoluble aggregates is a main neuropathological feature in PD and in other neurodegenerative diseases, including LB dementia (LBD) and multiple system atrophy (MSA), which are therefore defined as synucleinopathies. Compelling evidence supports that α-Syn post translational modifications (PTMs) such as phosphorylation, nitration, acetylation, O-GlcNAcylation, glycation, SUMOylation, ubiquitination and C-terminal cleavage, play important roles in the modulation α-Syn aggregation, solubility, turnover and membrane binding. In particular, PTMs can impact on α-Syn conformational state, thus supporting that their modulation can in turn affect α-Syn aggregation and its ability to seed further soluble α-Syn fibrillation. This review focuses on the importance of α-Syn PTMs in PD pathophysiology but also aims at highlighting their general relevance as possible biomarkers and, more importantly, as innovative therapeutic targets for synucleinopathies. In addition, we call attention to the multiple challenges that we still need to face to enable the development of novel therapeutic approaches modulating α-Syn PTMs

Barium alginate capsules for 3D immobilisation of living cells: morphology, membrane properties and permeability

Encapsulation in a barium alginate membrane is a promising strategy to obtain a three dimensional culture of living cells: membrane properties are crucial for a realistic clinical application. A one-step encapsulation technique, recently developed for controlled release of boar semen, was employed to prepare barium alginate and protamine-alginate membranes: permeability to two model molecules (haemoglobin and glucose) was evaluated. Capsules were evaluated for technological properties and scanning electron microscopy was used to examine the external morphology of the capsules and the 3D distribution of the cells within the core. The results indicate that 3D arrangement and cell shape are maintained, capsule dimensions and mechanical properties can be modulated, as well as their permeability to model molecules such as haemoglobin and glucose

Association between a single measurement of progesterone and cortisol blood concentrations at two to one week before parturition, and number of fetuses in the Teramana goat

The Teramana goat is an at-risk breed, needing population protection and programs to increase their numbers. The first step for a population increase is the best management of reproduction, leading to an as high as possible number of healthy and viable kids born. To this purpose, beside the optimization of mating, the best possible management of pregnancy and parturition is mandatory. The goat is a prolific farm animal in which single, double, or triple ovulations can occur, leading to singleton, twin or triple pregnancies, and the birth of multiple kids. Twins and triplets are associated to increased risk for perinatal mortality and need a special surveillance and possible assistance at birth. Knowledge of the number of fetuses that have to be delivered from each goat could be a practical tool for a better management of parturition. Among the methods to define the number of fetuses in the goat, the measurement of blood progesterone (P4) concentrations have provided inconsistent results. Therefore, the present study was aimed to assess the possible association between the maternal concentrations of plasma P4 and cortisol (C), two hormones possibly associated to the number of fetuses, measured only once at about two to one week before parturition in Teramana goats, and the number of fetuses. The results, obtained from 23 does, showed that both plasma P4 and C are higher in does bearing multiple fetuses than does with singleton pregnancies. However, the single measurement of plasma C, but not P4, two to one week before the expected parturition in the Teramana goat is useful to distinguish between does bearing singleton and triplet pregnancies for a better surveillance and assistance at delivery. Therefore, it could represent a tool for the best management of reproduction in a breed population at risk for extinctio

Hair and Claw Dehydroepiandrosterone Concentrations in Newborn Puppies Spontaneously Dead within 30 Days of Age

The latest intrauterine fetal developmental stage and the neonatal period represent the most challenging phases for mammalian offspring. Toward the term of pregnancy, during parturition, and after birth, the hypothalamic–pituitary–adrenal axis (HPA) is a key system regulating several physiologic processes, through the production of cortisol and dehydroepiandrosterone (DHEA). This study was aimed to assess DHEA concentrations in hair and claws of 126 spontaneously dead newborn puppies, classified as premature puppies (PRE-P), stillborn puppies (STILL-P) and puppies that died from the 1st to the 30th day of life (NEON-P). The possible influence of newborn sex, breed body size, and timing of death on DHEA concentrations in both matrices was evaluated. Claw DHEA concentrations were higher in the PRE-P group when compared to STILL-P and NEON-P puppies (p < 0.05), whilst no significant differences were found in hair for all the studied factors. The results confirm the hypothesis that higher amounts of DHEA are produced during the intrauterine life in dogs, also in puppies that will die soon after birth

Role of Quantum Confinement in Luminescence Efficiency of Group IV Nanostructures

Experimental results obtained previously for the photoluminescence efficiency (PL$_{eff}$) of Ge quantum dots (QDs) are theoretically studied. A $\log$-$\log$ plot of PL$_{eff}$ versus QD diameter ($D$) resulted in an identical slope for each Ge QD sample only when $E_{G}\sim (D^2+D)^{-1}$. We identified that above $D\approx$ 6.2 nm: $E_{G}\sim D^{-1}$ due to a changing effective mass (EM), while below $D\approx$ 4.6 nm: $E_{G}\sim D^{-2}$ due to electron/ hole confinement. We propose that as the QD size is initially reduced, the EM is reduced, which increases the Bohr radius and interface scattering until eventually pure quantum confinement effects dominate at small $D$

How stressful is maternity? Study about cortisol and dehydroepiandrosterone-sulfate coat and claws concentrations in female dogs from mating to 60 days post-partum

In dogs, the phase from mating to the end of weaning lasts about 120 days and encompasses many aspects that, interacting, contribute to increase the allostatic load. The coat and claws, useful for long-term change assessments, have the advantage of being collectable without invasiveness. In the present study, the Cortisol (C) and Dehydroepiandrosterone-sulfate (DHEA-S) concentration monthly changes in the coat and claws were studied in female dogs from mating to the end of weaning to assess Hypothalamic\u2013Pituitary\u2013Adrenal (HPA) axis activation during pregnancy and the post-partum period. The results from 15 Dobermann Pinscher female dogs showed a trend of increase of the coat C from mating to 60 days post-partum, with significant changes between mating and parturition-60 days post-partum (p < 0.01) and between the 30-day pregnancy diagnosis (PD) and 30\u201360 days post-partum (p < 0.05). The claws C trend showed significant increases between mating and 30\u201360 days post-partum (p < 0.05) and between the PD and 60 days post-partum (p < 0.01). DHEA-S in both matrices showed non-significant changes. The results suggest that maternity could play a pivotal role in the HPA axis activation, with a subsequent chronic secretion of C determining an increase in the allostatic load in the mothers. Neither maternal parity nor litter size played a significant role in the accumulation of C and DHEA-S in both matrices

Source extraction and photometry for the far-infrared and sub-millimeter continuum in the presence of complex backgrounds

(Abridged) We present a new method for detecting and measuring compact sources in conditions of intense, and highly variable, fore/background. While all most commonly used packages carry out the source detection over the signal image, our proposed method builds from the measured image a "curvature" image by double-differentiation in four different directions. In this way point-like as well as resolved, yet relatively compact, objects are easily revealed while the slower varying fore/background is greatly diminished. Candidate sources are then identified by looking for pixels where the curvature exceeds, in absolute terms, a given threshold; the methodology easily allows us to pinpoint breakpoints in the source brightness profile and then derive reliable guesses for the sources extent. Identified peaks are fit with 2D elliptical Gaussians plus an underlying planar inclined plateau, with mild constraints on size and orientation. Mutually contaminating sources are fit with multiple Gaussians simultaneously using flexible constraints. We ran our method on simulated large-scale fields with 1000 sources of different peak flux overlaid on a realistic realization of diffuse background. We find detection rates in excess of 90% for sources with peak fluxes above the 3-sigma signal noise limit; for about 80% of the sources the recovered peak fluxes are within 30% of their input values.Comment: Accepted on A&

Variations of the spectral index of dust emissivity from Hi-GAL observations of the Galactic plane

Original article can be found at: http://www.aanda.org/ Copyright The European Southern ObservatoryContext. Variations in the dust emissivity are critical for gas mass determinations derived from far-infrared observations, but also for separating dust foreground emission from the Cosmic Microwave Background (CMB). Hi-GAL observations allow us for the first time to study the dust emissivity variations in the inner regions of the Galactic plane at resolution below 1°. Aims. We present maps of the emissivity spectral index derived from the combined Herschel PACS 160 μm, SPIRE 250 μm, 350 μm, and 500 μm data, and the IRIS 100 μm data, and we analyze the spatial variations of the spectral index as a function of dust temperature and wavelength in the two science demonstration phase Hi-GAL fields, centered at l = 30° and l = 59°. Methods. Applying two different methods, we determine both dust temperature and emissivity spectral index between 100 and 500 μm, at an angular resolution (θ) of 4'. Results. Combining both fields, the results show variations of the emissivity spectral index in the range 1.8–2.6 for temperatures between 14 and 23 K. The median values of the spectral index are similar in both fields, i.e. 2.3 in the range 100–500 μm, while the median dust temperatures are equal to 19.1 K and 16.0 K in the l = 30° and l = 59° field, respectively. Statistically, we do not see any significant deviations in the spectra from a power law emissivity between 100 and 500 μm. We confirm the existence of an inverse correlation between the emissivity spectral index and dust temperature, found in previous analyses.Peer reviewe

A proof of the Kahn principle for input/output automata

AbstractWe use input/output automata to define a simple and general model of networks of concurrently executing, nondeterministic processes that communicate through unidirectional, named ports. A notion of the input/output relation computed by a process is defined, and determinate processes are defined to be processes whose input/output relations are single-valued. We show that determinate processes compute continuous functions, and that networks of determinate processes obey Kahn's fixed-point principle. Although these results are already known, our contribution lies in the fact that the input/output automata model yields extremely simple proofs of them (the simplest we have seen), in spite of its generality